Kőnig's theorem (graph theory)
THEOREM SHOWING THAT MAXIMUM MATCHING AND MINIMUM VERTEX COVER ARE EQUIVALENT FOR BIPARTITE GRAPHS
Konig's theorem (graph theory); König theorem (graph theory); Konig theorem (graph theory); Koenig theorem (graph theory); Koenig's theorem (graph theory); Kőnig's theorem; König–Egerváry theorem; Konig-egervary; König-Egerváry theorem; König's theorem (graph theory); Kőnig–Egerváry theorem; Kőnig-Egerváry theorem; König-Egeváry Theorem; Konig property
In the mathematical area of graph theory, Kőnig's theorem, proved by , describes an equivalence between the maximum matching problem and the minimum vertex cover problem in bipartite graphs. It was discovered independently, also in 1931, by Jenő Egerváry in the more general case of weighted graphs.